Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
941	Absolute Provability and Safe Knowledge of Axioms (to appear in Leon Horsten and Philip Welch, eds., The Scope and Limits of Mathematical Knowledge) Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2014-10-24 05:59:46 Philosophical logic Formal systems Proof theory Model theory Axiom Mathematical proof Theorem Kurt Gödel Modal logic Logic Mathematics Mathematical logic
942	On the Relationship between Hypersequent Calculi and Labelled Sequent Calculi for Intermediate Logics with Geometric Kripke Semantics Add to Reading List Source URL: research-repository.st-andrews.ac.uk Language: English - Date: 2015-02-02 11:56:50 Mathematics Philosophical logic Modal logic Non-classical logic Sequent Kripke semantics Lambda calculus Natural deduction Logic Mathematical logic Proof theory
943	HKEx GUIDANCE LETTER HKEx-GL57-13 (July[removed]Updated in February, March, June and September 2014) – effective for applications submitted on or after 1 October 2013 Subject Guidance on logistical arrangements for pub Add to Reading List Source URL: www.hkex.com.hk Language: English - Date: 2014-09-30 05:07:31 Patent law Mathematical logic Hong Kong Exchanges and Clearing London Stock Exchange Priority right Mathematical proof Futures contract Financial economics Finance Financial system
944	Mathematical Writing by Donald E. Knuth, Tracy Larrabee, and Paul M. Roberts This report is based on a course of the same name given at Stanford University during autumn quarter, 1987. Here’s the catalog description: C Add to Reading List Source URL: www.ifs.tuwien.ac.at Language: English - Date: 2005-02-27 15:32:08 Integer sequences Modal logic Non-classical logic Philosophical logic Comma Prime number Mathematical proof Logic Mathematics Mathematical logic
945	Group communication and the transformation of judgments: an impossibility result Christian List, LSE March[removed]April[removed]Abstract Add to Reading List Source URL: personal.lse.ac.uk Language: English - Date: 2010-07-09 10:33:39 Mathematical logic Philosophy of language Theories of truth Philosophical logic Proof theory Proposition Truth Judgment Deliberative democracy Logic Philosophy Mathematics
946	A Tutorial on the Curry-Howard Correspondence Darryl McAdams April 9, 2013 Abstract Typical introductions to the Curry-Howard Correspondence employ Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-08-26 10:29:00 Proof theory Propositional calculus Deduction Boolean algebra Natural deduction Curry–Howard correspondence Negation Rule of inference Existential quantification Logic Mathematical logic Mathematics
947	HKEx GUIDANCE LETTER HKEx-GL74-14 (March[removed]Summary Subject Add to Reading List Source URL: www.hkex.com.hk Language: English - Date: 2014-03-24 06:46:14 Proof theory Evidence law Hong Kong Exchanges and Clearing Mathematical logic Proof Mathematical proof Logic Mathematics Theoretical computer science
948	A Practical Course on KIV Gidon Ernst Wolfgang Reif Dominik Haneberg Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2015-02-09 05:01:55 Metalogic Natural deduction Sequent First-order logic Model theory Logic Mathematical logic Proof theory
949	Justin Clarke-Doane Monash University [Note: This is the penultimate draft of a paper that is forthcoming in Noûs.] Moral Epistemology: The Mathematics Analogy* Add to Reading List Source URL: files.nyu.edu Language: English - Date: 2013-11-20 08:40:44 Branches of philosophy Mathematical logic Formal systems Meta-ethics Philosophical logic Philosophy of mathematics Self-evidence Axiom Mathematical proof Mathematics Logic Philosophy
950	Bernard Bolzano's Philosophy: Logic and Ontology Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2014-02-07 01:52:47 Bernard Bolzano Proposition Term logic Edmund Husserl Truth Philosophy of mathematics Proof theory Mathematical logic Modal logic Logic Philosophy Philosophical logic